Books by author Matt Kaufmann

Showing 1 – 6 out of 6 results

1. 

   Computer-Aided Reasoning

   Matt Kaufmann, Panagiotis Manolios, J Strother Moore | Springer, Berlin, 2000

   
   

   50/50 - We search the world

   Language: English

   Binding: Hardback

   277.67 €

   Buy
2. 

   Interactive Theorem Proving

   Matt Kaufmann, Lawrence C. Paulson | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010

   
   

   In stock at our supplier - Shipping in 13 - 18 days

   Language: English

   Binding: Paperback

   123.23 €

   Buy
3. 

   Computer-Aided Reasoning

   Matt Kaufmann, Panagiotis Manolios, J Strother Moore | Springer, 2000

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Hardback

   240.62 €

   Buy
4. 

   Computer-Aided Reasoning

   Matt Kaufmann, Panagiotis Manolios, J Strother Moore | Springer, Berlin, 2010

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   240.62 €

   Buy
5. 

   Computer-Aided Reasoning

   Matt Kaufmann, Panagiotis Manolios, J. Strother Moore | Springer, Berlin, 2012

   
   

   50/50 - We search the world

   Language: English

   Binding: Paperback

   277.67 €

   Buy
6. 

   Computer-Aided Reasoning

   Matt Kaufmann, Panagiotis Manolios, J. Strother Moore | Springer, Berlin, 2000

   
   

   50/50 - We search the world

   Language: English

   Binding: Hardback

   398.59 €

   Buy

Books can be collected at many points all over Slovakia. Find out more